| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| EditorHelp.json | JavaScript Object Notation | 1 | 34KB | 2002-04-22 |
| Recent.json | JavaScript Object Notation | 1 | 187b | 2002-04-22 |
| Rocks.json | JavaScript Object Notation | 1 | 800b | 2002-04-22 |
| RocksHelp.json | JavaScript Object Notation | 1 | 5KB | 2002-04-22 |
| Settings.json | JavaScript Object Notation | 1 | 2KB | 2002-04-22 |
| Tileset.json | JavaScript Object Notation | 1 | 4KB | 2002-04-22 |